- deductively complete system
- дедуктивно полная система
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
deductively complete system
Смотреть что такое "deductively complete system" в других словарях:
Axiomatic system — In mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. A mathematical theory consists of an axiomatic system and all its derived theorems. An axiomatic… … Wikipedia
Completeness — In general, an object is complete if nothing needs to be added to it. This notion is made more specific in various fields. Contents 1 Logical completeness 2 Mathematical completeness 3 Computing 4 … Wikipedia
philosophy, Western — Introduction history of Western philosophy from its development among the ancient Greeks to the present. This article has three basic purposes: (1) to provide an overview of the history of philosophy in the West, (2) to relate… … Universalium
Pythagoreans and Eleatics — Edward Hussey PYTHAGORAS AND THE EARLY PYTHAGOREANS Pythagoras, a native of Samos, emigrated to southern Italy around 520, and seems to have established himself in the city of Croton. There he founded a society of people sharing his beliefs and… … History of philosophy
Negationstreu — (engl.: negation complete) ist eine Eigenschaft von Folgen Φ von prädikatenlogischen Ausdrücken. Diese Eigenschaft wird in Verwechslungsgefahr zu andersgemeinten Begriffen der Vollständigkeit auch syntaktisch vollständig (in der… … Deutsch Wikipedia
science, philosophy of — Branch of philosophy that attempts to elucidate the nature of scientific inquiry observational procedures, patterns of argument, methods of representation and calculation, metaphysical presuppositions and evaluate the grounds of their validity… … Universalium
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
Descartes: methodology — Stephen Gaukroger INTRODUCTION The seventeenth century is often referred to as the century of the Scientific Revolution, a time of fundamental scientific change in which traditional theories were either replaced by new ones or radically… … History of philosophy
Whewell’s philosophy of science and ethics — Struan Jacobs ON SCIENCE Introduction Among the most prodigious of English minds of the nineteenth century, William Whewell (1794–1866) was at various times, and among other things, philosopher, intellectual historian, scientist, educationist,… … History of philosophy
Defeasible reasoning — is a kind of reasoning that is based on reasons that are defeasible, as opposed to the indefeasible reasons of deductive logic. Defeasible reasoning is a particular kind of non demonstrative reasoning, where the reasoning does not produce a full … Wikipedia
